Instrumenting Atomic Decomposition: Software APIs for OWL
نویسندگان
چکیده
The Atomic Decomposition (AD) of an ontology O is a compact representation of all the modules of O. Besides its theoretical value, it has some practical applications, which include optimised reasoning techniques. In this paper we describe the existing programming APIs that allow for the use of the AD of an ontology in Java and C++ programs.
منابع مشابه
HyS: Fast Atomic Decomposition and Module Extraction of OWL-EL ontologies
In this paper, we present HyS, an application for fast atomic decomposition and module extraction of OWL-EL ontologies. HyS computes a hypergraph representation of the modular structure of an ontology. This hypergraph representation contains the atomic decomposition of the input ontology, and it allows to extract modules for a given signature. We provide an experimental evaluation of HyS with a...
متن کاملIncrementally Updateable and Persistent Decomposition of OWL Ontologies
The paper focuses on practical aspects of decomposing OWL ontologies into logically coherent fragments, called atoms, and maintaining large ontologies in the decomposed form. While the recently proposed atomic decomposition exhibits some very attractive formal properties and promises important applications, e.g., module extraction, its practical applicability has been far from clear. Two partic...
متن کاملOn an atomic decomposition in Banach spaces
An atomic decomposition is considered in Banach space. A method for constructing an atomic decomposition of Banach space, starting with atomic decomposition of subspaces is presented. Some relations between them are established. The proposed method is used in the study of the frame properties of systems of eigenfunctions and associated functions of discontinuous differential operators.
متن کاملProblems with OWL Syntax
In this paper we discuss three problems with OWL syntax that repeatedly surface in practice. The first problem is that OWL does not allow for explicit declarations—assertions that a certain class, property, or an individual exists in an ontology. This aspect of the OWL standard was often misinterpreted, which caused design errors in OWL APIs; moreover, the lack of declarations makes devising an...
متن کاملAxiom Dependency Hypergraphs for Fast Atomic Decomposition of Ontologies
In this paper we use directed hypergraphs to represent the locality-based dependencies between the axioms of an OWL ontology. We define a notion of an axiom dependency hypergraph, where axioms are represented as nodes and dependencies between axioms as hyperedges connecting possibly several nodes with one node. We show that a locality-based module of an ontology corresponds to a connected compo...
متن کامل